Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem
نویسندگان
چکیده
منابع مشابه
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem
We formulate a restricted version of the Tukey-Teichmüller Theorem that we denote by (rTT). We then prove that (rTT) and (BPI) are equivalent in ZF and that (rTT) applies rather naturally to several equivalent forms of (BPI): Alexander Subbase Theorem, Stone Representation Theorem, Model Existence and Compactness Theorems for propositional and first-order logic. We also give two variations of (...
متن کاملPrime Ideal Theorem for Double Boolean Algebras
Double Boolean algebras are algebras (D,u,t, , ,⊥,>) of type (2, 2, 1, 1, 0, 0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under u (resp. t). A filter F is called primary if F 6= ∅ and for all x ∈ D we have x ∈ F or x ∈ F . In this note we prove t...
متن کاملG-free Colorability and the Boolean Prime Ideal Theorem
We show that the compactness of G-free k-colorability is equivalent to the Boolean prime ideal theorem for any graph G with more than two vertices and any k ≥ 2.
متن کاملS - Fuzzy Prime Ideal Theorem
The notions of a S fuzzy ∧ sub semi lattice, a S fuzzy ideal and a S fuzzy prime ideal of a bounded lattice with truth values in a bounded ∧ sub semi lattice S are introduced which generalize the existing notions with truth values in a unit interval of real numbers. Finally, S fuzzy prime ideal theorem is proved. 2010 AMS Classification: 03G10, 46H10, 06D50, 08A72
متن کاملExplicit versions of the prime ideal theorem for Dedekind zeta functions under GRH
Let ψK be the Chebyshev function of a number field K. Under the Generalized Riemann Hypothesis we prove an explicit upper bound for |ψK(x)−x| in terms of the degree and the discriminant of K. The new bound improves significantly on previous known results. Math. Comp. 85(298), 889–906 (2016). Electronically published on October 7, 2015. DOI: http://dx.doi.org/10.1090/mcom3031
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2004
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-004-0264-9